Automatic Extraction of Implicit Interpretations from Modal Constructions
نویسندگان
چکیده
This paper presents an approach to extract implicit interpretations from modal constructions. Importantly, our approach uses a deterministic procedure to normalize eventualities and generate potential interpretations. An annotation effort demonstrates that these interpretations are intuitive to humans and most modal constructions convey at least one interpretation. Experimental results show that the task is challenging but can be automated.
منابع مشابه
The Structures of Modality in Korean
Korean has some nouns which are used for expressing ability, possibility and necessity, such as swu (‘ability/possibility’), li (‘(circumstantial) possibility’), and philyo (‘necessity’). As with modal expressions familiar from other languages, for example English can, swu allows both dynamic (ability) and epistemic (possibility) interpretations. In contrast, li only has an epistemic interpreta...
متن کاملFrom free algebras to proof bounds
(This is joint work with Nick Bezhanishvili)[1],[2]. In the first part of our contribution, we review and compare existing constructions of finitely generated free algebras in modal logic focusing on step-by-step methods. We discuss the notions of step algebras and step frames arising from recent investigations [3], [2], as well as the role played by finite duality. A step frame is a two-sorted...
متن کاملAutomatic Lane Extraction in Hemoglobin and Serum Protein Electrophoresis Using Image Processing
Image analysis is an image processing technique that aims to extract features or information from images. Image analysis in medicine has a special place because is a basis for disease diagnosis for physicians. Electrophoresis is a laboratory separating technique. Electrophoresis images are created during the electrophoresis process. Serum protein and hemoglobin electrophoresis test are the ...
متن کاملAutomatic Lane Extraction in Hemoglobin and Serum Protein Electrophoresis Using Image Processing
Image analysis is an image processing technique that aims to extract features or information from images. Image analysis in medicine has a special place because is a basis for disease diagnosis for physicians. Electrophoresis is a laboratory separating technique. Electrophoresis images are created during the electrophoresis process. Serum protein and hemoglobin electrophoresis test are the ...
متن کاملBounded Proofs and Step Frames
The longstanding research line investigating free algebra constructions in modal logic from an algebraic and coalgebraic point of view recently lead to the notion of a one-step frame [18], [8]. A one-step frame is a two-sorted structure which admits interpretations of modal formulae without nested modal operators. In this paper, we exploit the potential of one-step frames for investigating proo...
متن کامل